
add_executable(test_ai "test_ai.cpp")
target_link_libraries(test_ai otawa ${LIBELM})
